1. Formal techniques for networked and distributed systems
پدیدآورنده : / John Derrick, Jeuri Vain (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F67
,
2007
